SM-TUTOR, ein Logik-Tutor-Programm und Beweiseditor
Projektleitung und Mitarbeiter
Bauer, W. (Mag. Phil.), Gottschling, V., Hoering, W. (Prof. Dr. phil.,
Dr. rer. nat.), Schiller, D., Schrempp, K. (Dipl. Math.)
Forschungsbericht :
1990-1992
Tel./ Fax.:
Projektbeschreibung
Es wird ein
Programm fuer PCs, Macs und Workstations entwickelt, welches zum
Einueben des Ableitens in grundlegenden logischen Systemen der
Aussagen-, Praedikaten- und Modallogik (T, S4, S5) geeignet
ist. Besonders geeignet ist hierfuer der sog. Baumkalkuel von
R. Smullyan. Wir bemuehen uns um eine ansprechende Gestaltung der
Oberflaeche und eine didaktisch guenstige Benutzerfuehrung. Die
Erfuellung dieser Kriterien wird durch laufende Befragung der Benutzer
und in Spezialuntersuchungen ueberprueft (siehe Publikation).
Mittelgeber
Drittmittelfinanzierung: Univ.-Bund
Publikationen
Hellerich, R.:
Zur Verstaendlichkeit von Gebrauchstexten. Kommunikative Prinzipien beim
Schreiben eines Computer-Handbuchs. - Magisterarbeit im Fach
"Linguistik des Deutschen", Universitaet Tuebingen 1992.
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de)
- Stand: 15.09.96
Copyright Hinweise